type t
(** {!B} *)
